#ifndef mc2main_0901V001NonCompliant_07_2_h
#define mc2main_0901V001NonCompliant_07_2_h
typedef int int32_t;
void mc2main_0812V001NonCompliant_01 ( int32_t i  );


#endif
